COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	To:   Jeff Ullman, ullman@diablo
C00004 ENDMK
C⊗;
To:   Jeff Ullman, ullman@diablo
From: Bob Floyd, rwf@su-ai
Re:   theory instruction
cc:   dek@su-ai, genesereth@sumex

I have spent four years optimizing a course based on A and B. There are good
books (such as yours with Hopcroft) for it, and I am writing a better one.
One can unify the treatment of all these languages, e.g., by using the notions
of the I/O relations of machines, composition of machines and relations,
Myhill and Nerode equivalence, and associated semigroups; this unification is
only possible if they all come in the same course.

Also notice that the proposed sequence creates difficulties for the MS program.